<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.01.16 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html">weekly meeting 2019.01.16</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="155282990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155282990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155282990">(Jan 16 2019 at 20:00)</a>:</h4>
<p>am I right that this week's meeting is starting 30minutes earlier than normal? Or did I misread that in the notes from last week?</p>



<a name="155283066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155283066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155283066">(Jan 16 2019 at 20:01)</a>:</h4>
<p>It's supposed to be 1h long. I'm not sure if the start time or the end time was moved.</p>



<a name="155283154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155283154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155283154">(Jan 16 2019 at 20:02)</a>:</h4>
<p>ah. unfortunate that that was left unspecified</p>



<a name="155285315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285315">(Jan 16 2019 at 20:26)</a>:</h4>
<p>hi <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="155285319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285319">(Jan 16 2019 at 20:26)</a>:</h4>
<p>welcome back</p>



<a name="155285409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285409">(Jan 16 2019 at 20:27)</a>:</h4>
<p>I couldn’t fill the paper doc about what I’ve done, will do later</p>



<a name="155285471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285471">(Jan 16 2019 at 20:28)</a>:</h4>
<p>I’m on vacations 🏖</p>



<a name="155285618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285618">(Jan 16 2019 at 20:30)</a>:</h4>
<p>um shoot</p>



<a name="155285651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285651">(Jan 16 2019 at 20:30)</a>:</h4>
<p>I can't really attend for 1hr today</p>



<a name="155285652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285652">(Jan 16 2019 at 20:30)</a>:</h4>
<p>:)</p>



<a name="155285660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285660">(Jan 16 2019 at 20:30)</a>:</h4>
<p>I just realized</p>



<a name="155285662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285662">(Jan 16 2019 at 20:30)</a>:</h4>
<p>should we not do steering mtg today then?</p>



<a name="155285670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285670">(Jan 16 2019 at 20:30)</a>:</h4>
<p>I haven't done any triage</p>



<a name="155285711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285711">(Jan 16 2019 at 20:31)</a>:</h4>
<p>well let's se</p>



<a name="155285740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285740">(Jan 16 2019 at 20:31)</a>:</h4>
<p>I could imagine trying to discuss e.g. <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s borowing PR</p>



<a name="155285744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285744">(Jan 16 2019 at 20:32)</a>:</h4>
<p>or something like that</p>



<a name="155285790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285790">(Jan 16 2019 at 20:32)</a>:</h4>
<p>else we could do some triage and do that another time -- either next week or schedule a meeting for it</p>



<a name="155285799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285799">(Jan 16 2019 at 20:32)</a>:</h4>
<p>(or just async)</p>



<a name="155285823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285823">(Jan 16 2019 at 20:32)</a>:</h4>
<p>what is <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> 's borrowing PR ?</p>



<a name="155285842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285842">(Jan 16 2019 at 20:33)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a> ?</p>



<a name="155285856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285856">(Jan 16 2019 at 20:33)</a>:</h4>
<p>I was referring to <a href="https://github.com/rust-lang/rust/pull/57609" target="_blank" title="https://github.com/rust-lang/rust/pull/57609">https://github.com/rust-lang/rust/pull/57609</a></p>



<a name="155285857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285857">(Jan 16 2019 at 20:33)</a>:</h4>
<p>yes</p>



<a name="155285942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285942">(Jan 16 2019 at 20:34)</a>:</h4>
<p>sorry I had some stuff come up today</p>



<a name="155285949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285949">(Jan 16 2019 at 20:34)</a>:</h4>
<p>trying to get my thoughts together</p>



<a name="155285958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155285958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155285958">(Jan 16 2019 at 20:34)</a>:</h4>
<p>so before we said </p>
<p>- how to organize now that NLL has shipped and it’s the new year?<br>
  - what are our big goals? (e.g., finishing the migration, polonius, plus other related features)</p>



<a name="155286022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286022">(Jan 16 2019 at 20:35)</a>:</h4>
<p>but yeah maybe that wants 1hr to really get into?</p>



<a name="155286070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286070">(Jan 16 2019 at 20:36)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="155286187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286187">(Jan 16 2019 at 20:37)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> did that crater run just fail spuriously 100% of the time? What happened there?</p>



<a name="155286188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286188">(Jan 16 2019 at 20:37)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/53114" target="_blank" title="https://github.com/rust-lang/rust/issues/53114">#53114</a> and <a href="https://github.com/rust-lang/rust/issues/48225" target="_blank" title="https://github.com/rust-lang/rust/issues/48225">#48225</a> are nominated. Re: the second point I'm trying to get to the point where we can enable migrate mode on the 2015 edition, and have some things that I want to discuss at some point soon for that.</p>



<a name="155286209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286209">(Jan 16 2019 at 20:37)</a>:</h4>
<p>(my Q was regarding  <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a>  )</p>



<a name="155286287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286287">(Jan 16 2019 at 20:38)</a>:</h4>
<p>oh, I see <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s <a href="https://github.com/rust-lang/rust/pull/57609#issuecomment-454922025" target="_blank" title="https://github.com/rust-lang/rust/pull/57609#issuecomment-454922025">writeup comment now</a> for <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a></p>



<a name="155286311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286311">(Jan 16 2019 at 20:39)</a>:</h4>
<p>my sense is maybe that we should not dig into <a href="https://github.com/rust-lang/rust/issues/57609" target="_blank" title="https://github.com/rust-lang/rust/issues/57609">#57609</a> in detail here but rather schedule a dedicated slot</p>



<a name="155286315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286315">(Jan 16 2019 at 20:39)</a>:</h4>
<p>and we might as well do a bit of triage</p>



<a name="155286318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286318">(Jan 16 2019 at 20:39)</a>:</h4>
<p>just because of time :)</p>



<a name="155286320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286320">(Jan 16 2019 at 20:39)</a>:</h4>
<p>no: see the full report: <a href="https://crater-reports.s3.amazonaws.com/pr-57609/full.html" target="_blank" title="https://crater-reports.s3.amazonaws.com/pr-57609/full.html">https://crater-reports.s3.amazonaws.com/pr-57609/full.html</a></p>



<a name="155286332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286332">(Jan 16 2019 at 20:39)</a>:</h4>
<p>I'd be up to try and do that on friday though if that works for people, or else next week during this meeting</p>



<a name="155286348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286348">(Jan 16 2019 at 20:39)</a>:</h4>
<p>I do think we need to spend some dedicated time on the 2PB questions and I feel like it's been hard for me to carve time, so I want to schedule it</p>



<a name="155286408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286408">(Jan 16 2019 at 20:40)</a>:</h4>
<p>Oh okay thanks <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="155286418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286418">(Jan 16 2019 at 20:40)</a>:</h4>
<p>re: <a href="https://github.com/rust-lang/rust/issues/48225" target="_blank" title="https://github.com/rust-lang/rust/issues/48225">#48225</a> we saw this getopts behaviour in the NLL crater runs, my understanding is it seemed to be "fixed by NLL", however one of Felix's examples in there seemed subtly different that maybe it deserves discussion/investigation</p>



<a name="155286434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286434">(Jan 16 2019 at 20:40)</a>:</h4>
<p>should we start there then?</p>



<a name="155286440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286440">(Jan 16 2019 at 20:40)</a>:</h4>
<p>I do remember there being a getopts "fixed" bug</p>



<a name="155286463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286463">(Jan 16 2019 at 20:41)</a>:</h4>
<p>yeah</p>



<a name="155286473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286473">(Jan 16 2019 at 20:41)</a>:</h4>
<p>From <a href="https://github.com/rust-lang/rust/issues/48225#issuecomment-449436737" target="_blank" title="https://github.com/rust-lang/rust/issues/48225#issuecomment-449436737">Felix's comment</a>:</p>
<blockquote>
<p>ah I think the reduced test case compiles because it reduces the intervening "read" of state to match state { State::A =&gt; false } and it looks like MIR borrowck manages to ... treat that as a no-op?</p>
</blockquote>
<p>I think that is legit for NLL to do -- there is no "test" happening</p>



<a name="155286484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286484">(Jan 16 2019 at 20:41)</a>:</h4>
<p>similarly I expect <code>match () { () =&gt; ... }</code> to be "nothing"</p>



<a name="155286543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286543">(Jan 16 2019 at 20:42)</a>:</h4>
<p>and yeah <a href="https://github.com/rust-lang/rust/issues/48225#issuecomment-451144855" target="_blank" title="https://github.com/rust-lang/rust/issues/48225#issuecomment-451144855">the example from my comment</a> looks .. familiar, I think that was some "fixed by NLL" case</p>



<a name="155286546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286546">(Jan 16 2019 at 20:42)</a>:</h4>
<p>I don't remember if I ended up looking at the <em>non-reduced</em> original <code>getopts</code> test input</p>



<a name="155286553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286553">(Jan 16 2019 at 20:42)</a>:</h4>
<p>how do y'all feel about <a href="https://github.com/rust-lang/rust/issues/48225#issuecomment-449438864" target="_blank" title="https://github.com/rust-lang/rust/issues/48225#issuecomment-449438864">the 2nd example here</a> ?</p>



<a name="155286610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286610">(Jan 16 2019 at 20:43)</a>:</h4>
<p>It looks fine.</p>



<a name="155286615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286615">(Jan 16 2019 at 20:43)</a>:</h4>
<p>oh I guess we did look at non-reduced <code>getopts</code> and decided that this should never have compiled (even under AST-borrowck)?</p>



<a name="155286688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286688">(Jan 16 2019 at 20:44)</a>:</h4>
<p>I basically think we should close this bug, yeah. everything seems fine</p>



<a name="155286691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286691">(Jan 16 2019 at 20:44)</a>:</h4>
<p>it came up in the run <a href="https://crater-reports.s3.amazonaws.com/pr-53426-2/try%23e3ede4ae5297558caacf160ecf523f3a5759f682/reg/rpc-perf-2.0.3/log.txt" target="_blank" title="https://crater-reports.s3.amazonaws.com/pr-53426-2/try%23e3ede4ae5297558caacf160ecf523f3a5759f682/reg/rpc-perf-2.0.3/log.txt">here</a> for example</p>



<a name="155286768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286768">(Jan 16 2019 at 20:45)</a>:</h4>
<p>(from my <a href="https://github.com/nikomatsakis/nll-crater-run-results/pull/4" target="_blank" title="https://github.com/nikomatsakis/nll-crater-run-results/pull/4">4th run results PR</a> which wasn't merged I guess — yeah let's close :)</p>



<a name="155286824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286824">(Jan 16 2019 at 20:46)</a>:</h4>
<p>Closed</p>



<a name="155286828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286828">(Jan 16 2019 at 20:46)</a>:</h4>
<p>What about <a href="https://github.com/rust-lang/rust/issues/53114" target="_blank" title="https://github.com/rust-lang/rust/issues/53114">https://github.com/rust-lang/rust/issues/53114</a> ?</p>



<a name="155286869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286869">(Jan 16 2019 at 20:47)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/53114#issuecomment-430260449" target="_blank" title="https://github.com/rust-lang/rust/issues/53114#issuecomment-430260449">Comment here from Felix</a></p>



<a name="155286905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286905">(Jan 16 2019 at 20:47)</a>:</h4>
<p>Seems like this <em>particular</em> issue can be closed, though <a href="https://github.com/rust-lang/rust/issues/54003" target="_blank" title="https://github.com/rust-lang/rust/issues/54003">https://github.com/rust-lang/rust/issues/54003</a> remains open (and was spun off from that)</p>



<a name="155286969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286969">(Jan 16 2019 at 20:48)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> did you want a test for <a href="https://github.com/rust-lang/rust/issues/53114" target="_blank" title="https://github.com/rust-lang/rust/issues/53114">#53114</a> <a href="https://github.com/rust-lang/rust/issues/53114#issuecomment-450747337" target="_blank" title="https://github.com/rust-lang/rust/issues/53114#issuecomment-450747337">here</a> ?</p>



<a name="155286980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286980">(Jan 16 2019 at 20:48)</a>:</h4>
<p>i.e., if this issue is specific to <code>match foo { _ =&gt; ... }</code>, then I think it's "ok" and we have some tests for it, though I should look more closely at those tests</p>



<a name="155286989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286989">(Jan 16 2019 at 20:48)</a>:</h4>
<p>yeah there's still the issue of needing tests for e.g. <code>let _ = ...;</code></p>



<a name="155286990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155286990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155286990">(Jan 16 2019 at 20:48)</a>:</h4>
<p>Or changed to E-needstest</p>



<a name="155287029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287029">(Jan 16 2019 at 20:49)</a>:</h4>
<blockquote>
<p>yeah there's still the issue of needing tests for e.g. <code>let _ = ...;</code></p>
</blockquote>
<p>oh, I see, <a href="https://github.com/rust-lang/rust/issues/54003" target="_blank" title="https://github.com/rust-lang/rust/issues/54003">#54003</a> is really specific to the unsafety check</p>



<a name="155287033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287033">(Jan 16 2019 at 20:49)</a>:</h4>
<p>ok I guess it's E-needstest</p>



<a name="155287046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287046">(Jan 16 2019 at 20:49)</a>:</h4>
<p>maybe somebody wants to knock that out this week? :) good easy starting point :)</p>



<a name="155287054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287054">(Jan 16 2019 at 20:49)</a>:</h4>
<p>or we can tweet it perhaps and try to mentor</p>



<a name="155287148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287148">(Jan 16 2019 at 20:50)</a>:</h4>
<p>mentoring could be nice, otherwise I can take it</p>



<a name="155287257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287257">(Jan 16 2019 at 20:52)</a>:</h4>
<p>I think part of my motivation for nominating this particular issue was trying to close out the <a href="https://github.com/rust-lang/rust/labels/NLL-complete" target="_blank" title="https://github.com/rust-lang/rust/labels/NLL-complete">NLL-complete label</a></p>



<a name="155287318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287318">(Jan 16 2019 at 20:53)</a>:</h4>
<p>maybe we can use a different label here</p>



<a name="155287321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287321">(Jan 16 2019 at 20:53)</a>:</h4>
<p>well</p>



<a name="155287331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287331">(Jan 16 2019 at 20:54)</a>:</h4>
<p>let's just close the dang issue :)</p>



<a name="155287375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287375">(Jan 16 2019 at 20:54)</a>:</h4>
<p>maybe we want to use last few minutes to talk over when to talk over the 2PB stuff?</p>



<a name="155287377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287377">(Jan 16 2019 at 20:54)</a>:</h4>
<p>do others agree some kind of "focused time" on this would be good?</p>



<a name="155287391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287391">(Jan 16 2019 at 20:54)</a>:</h4>
<p>(if you close it I'll just reopen it and self-assign again. If I notice. <span class="emoji emoji-1f609" title="wink">:wink:</span>)</p>



<a name="155287394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287394">(Jan 16 2019 at 20:54)</a>:</h4>
<p>heh, I meant "by adding the test"</p>



<a name="155287395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287395">(Jan 16 2019 at 20:54)</a>:</h4>
<p>oh yeah</p>



<a name="155287399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287399">(Jan 16 2019 at 20:54)</a>:</h4>
<p>focused time for 2PB apart from the other "steering topics" ?</p>



<a name="155287441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287441">(Jan 16 2019 at 20:55)</a>:</h4>
<p>right, specifically on the "future proofing" question and how to achieve it</p>



<a name="155287458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287458">(Jan 16 2019 at 20:55)</a>:</h4>
<p>maybe the conversation can be conducted async</p>



<a name="155287475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287475">(Jan 16 2019 at 20:55)</a>:</h4>
<p>I guess one way to do it is that I can just add some time in <strong>my calendar</strong> to force myself to do it :P</p>



<a name="155287555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287555">(Jan 16 2019 at 20:56)</a>:</h4>
<p>specifically, I think we need to:</p>
<ul>
<li>decide on how to desugar matches</li>
<li>.. actually is that it? once we achieve that, I think the rest of the change is fairly clear</li>
</ul>



<a name="155287576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287576">(Jan 16 2019 at 20:56)</a>:</h4>
<p>Pretty much.</p>



<a name="155287580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287580">(Jan 16 2019 at 20:56)</a>:</h4>
<p>I think an auxiliary item is that it'd be great to start writing up <em>why</em> we desugar matches the way we do as part of a design document etc</p>



<a name="155287581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287581">(Jan 16 2019 at 20:56)</a>:</h4>
<p>is there already a T-compiler steering mtg this friday?</p>



<a name="155287588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287588">(Jan 16 2019 at 20:56)</a>:</h4>
<p>there is one scheduled</p>



<a name="155287591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287591">(Jan 16 2019 at 20:56)</a>:</h4>
<p>k</p>



<a name="155287654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287654">(Jan 16 2019 at 20:57)</a>:</h4>
<p>well, I have to review the PR gain and peruse <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s comment, maybe we can just discuss it in the <a href="#narrow/stream/122657-wg-nll/topic/.2356256.20prohibit.202pb.20with.20existing.20borrows" title="#narrow/stream/122657-wg-nll/topic/.2356256.20prohibit.202pb.20with.20existing.20borrows">relevant zulip topic</a> for now</p>



<a name="155287733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287733">(Jan 16 2019 at 20:58)</a>:</h4>
<p>sounds good.</p>



<a name="155287800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287800">(Jan 16 2019 at 20:59)</a>:</h4>
<p>anything else ? I have to run sadly</p>



<a name="155287868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287868">(Jan 16 2019 at 21:00)</a>:</h4>
<p>do we know when we want to do the 1hr NLL steering meeting ?</p>



<a name="155287915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287915">(Jan 16 2019 at 21:00)</a>:</h4>
<blockquote>
<p>I'm trying to get to the point where we can enable migrate mode on the 2015 edition, and have some things that I want to discuss at some point soon for that.</p>
</blockquote>
<p>Should I create a topic for this, so that people have some time to see what I'm thinking here.</p>



<a name="155287947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287947">(Jan 16 2019 at 21:01)</a>:</h4>
<p>that sounds good, I missed that comment</p>



<a name="155287950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155287950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155287950">(Jan 16 2019 at 21:01)</a>:</h4>
<p>and we can discuss next week or whenever</p>



<a name="155288073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.16/near/155288073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E16.html#155288073">(Jan 16 2019 at 21:02)</a>:</h4>
<p>in case we're done, have a nice afternoon/evening everyone <span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>